翻訳と辞書 Words near each other ・ Marta Jandová ・ Marta Jeschke ・ Marta Jiráčková ・ Marta Kaczmarek ・ Marta Kadlecová ・ Marta Kauffman ・ Marta Kharitonova ・ Marta Klimasara ・ Marta Kohoutová ・ Marta Kristen ・ Marta Kroutilová ・ Marta Krásová ・ Marta Krūmiņa-Vitrupe ・ Marta Kubišová ・ Marta Kutas ・ Marta Kwiatkowska ・ Marta Labarr ・ Marta Lafuente ・ Marta Lamas ・ Marta Lambertini ・ Marta Larraechea ・ Marta Laureano ・ Marta Linares de Martinelli ・ Marta Litinskaya-Shul ・ Marta Ljungberg ・ Marta Lucía Ramírez ・ Marta Luna ・ Marta Lynch ・ Marta López ・ Marta Mangué Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Marta Kwiatkowska ： ウィキペディア英語版 Marta Kwiatkowska Marta Zofia Kwiatkowska is a computer scientist based in the United Kingdom. She is Professor of Computing Systems at the Oxford University Department of Computer Science, University of Oxford, England. Marta Kwiatkowska held academic posts at Jagiellonian University, Cracow, Poland, the University of Leicester, England, and the University of Birmingham, where she became a Professor of Computer Science.〔(Marta Kwiatkowska ), Oxford University Computing Laboratory, UK.〕 Since 2007, she has been a Fellow of Trinity College, Oxford.〔 Kwiatkowska's research is in the area of modelling and formal verification of complex systems, especially using automated verification through model checking.〔 She has been involved in the development of the PRISM model checker. Kwiatkowska has published widely in academic journals and conferences.〔(Marta Kwiatkowska ), (Quantitative Analysis and Verification ), Oxford University Computing Laboratory, UK.〕 == References == 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Marta Kwiatkowska」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.